Hi,
I don't understand why the Tasklist plugin do not use the jEdit task api. is there
a reason ?
Submitted | kpouer - 2012-01-02 14:32:08 | Assigned | |
---|---|---|---|
Priority | 1 | Labels | |
Status | open | Group | None |
Resolution | None |
2012-01-02 16:21:51 daleanson |
The simple reason is that TaskList was developed several years before the jEdit task api was available. Is there a compelling reason to modify TaskList to use the task api? |
---|---|
2012-01-02 16:27:21 kpouer |
No, if it is not new, there is no reason to refactor everything.
|
2012-01-20 17:16:51 kpouer |
- **priority**: 5 --> 1 |
2012-01-20 17:16:51 kpouer |
Changed priority to lowest |